Unit $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$0 $\in$ $\mathbb{Z}$